Видео с ютуба Philip Wadler

"Propositions as Types" by Philip Wadler

Category Theory for the Working Hacker by Philip Wadler

Keynote: The Two Cultures of Artifical Intelligence - Philip Wadler | Lambda Days 2024

Professor Philip Wadler: Functional Programming In Finance

LofTech with Philip Wadler - Why some people use Functional Languages?

(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019

"Categories for the Working Hacker" by Philip Wadler

Prof. Philip Wadler | Interpreters for Free

Computability, Philip Wadler

What does logic have to do with Java?

Philip Wadler: Church's Coincidences

Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021

13. SFI / Propositions as Types / Philip Wadler

Professor Philip Wadler on Plutus and Haskell | TCE 10

IOHK | Research; Prof. Philip Wadler, Smart Contracts.

Philip Wadler - “(Programming Languages) in Agda = Programming (Languages in Agda)” @ ZuriHac 2020

IOHK Research; Prof Philip Wadler, Smart Contracts

"Everything Old is New Again: Quoted Domain Specific Languages" by Philip Wadler

Основы языка программирования в Agda - Филип Ли Уодлер

Пленарный доклад: Пропозиции как типы — Филип Уодлер